gluable(I;l;tg)
== (source(l)  ma-interface-locs(I))  ((rcv(l,tg)  ma-interface-dom(I;source(l)))) 

latex

---

clarification:

gluable(I;l;tg)
== (source(l)  ma-interface-locs(I)  Id)  ((rcv(l,tg)  ma-interface-dom(I;source(l))  Knd)) 

latex

Definitions	P  Q, ma-interface-locs(I), Id, A, (x  l), rcv(l,tg), ma-interface-dom(I;i), source(l), Knd
FDL editor aliases	gluable